David I. Spivak
website
Categorical Informatics
の提唱者
それにしても、デイヴィッド・スピヴァックはほんとうにアイデアマンだなー、と関心します。関手データモデルにしろ
olog
にしろ、圏論を使っているとはいえ、どんな教科書にも載っている範囲の知識です。スピヴァックは、簡単な道具をうまく組み合わせて目覚ましい成果を挙げます
ref
Relational Foundations For Functorial Data Migration
https://arxiv.org/abs/1212.5303
Functorial Data Migration
https://arxiv.org/abs/1009.1166
Kleisli Database Instances
https://arxiv.org/abs/1209.1011
Category Theory for the Sciences
https://en.wikipedia.org/wiki/David_Spivak